###########part one##############
if [file exists work] {
    vdel -all
}
vlib work
vmap work work
vlog counter.v tcounter.v
###########part two##############

vopt +acc test_counter -o test_opt 
vsim test_opt
add wave -decimal count
add wave clk
add wave reset
add list -decimal *

###########part three##############

do stim.do
write list counter.lst

#############  end  #############
